#include <stdio.h>
#include <string.h> // HA.UNUSED: Header file 'string.h' is not used and can be removed.

namespace HA_UNUSED {

int main(int argc, char* argv[]) {
	printf("argc=%d\n", argc);
	return 0;
}
}